- квадратная матрица над полем F, подобная матрице вида diag [d1, ..., dl], где dj - матрица над Fс неприводимым в F[х]характеристическим многочленом, j=1, ..., k. Для матрицы Анад полем Fследующие три утверждения эквивалентны: (1) Аполупроста; (2) минимальный многочлен матрицы А не имеет кратных множителей в F[х];(3) алгебра F [А]полупроста.
Если F - совершенное поле, то П. м. над Fподобна диагональной матрице над нек-рым расширением F. Для всякой квадратной матрицы Анад совершенным полем имеется единственное представление в виде А - =AS+AN, где AS есть П. м., А N нильпотентна, А S А N= А NAS; матрицы AS и AN принадлежат алгебре F[A].
Лит.:[1] Бурбаки Н., Алгебра, пер. с франц., М., 1966, гл. 8. Д. А. Супруненко.
Смотреть больше слов в «Математической энциклопедии»